Metric structures and probabilistic computation
نویسندگان
چکیده
منابع مشابه
Metric structures and probabilistic computation
Continuous first-order logic is used to apply model-theoretic analysis to analytic structures (e.g. Hilbert spaces, Banach spaces, probability spaces, etc.). Classical computable model theory is used to examine the algorithmic structure of mathematical objects that can be described in classical first-order logic. The present paper shows that probabilistic computation (sometimes called randomize...
متن کاملCompleteness in Probabilistic Metric Spaces
The idea of probabilistic metric space was introduced by Menger and he showed that probabilistic metric spaces are generalizations of metric spaces. Thus, in this paper, we prove some of the important features and theorems and conclusions that are found in metric spaces. At the beginning of this paper, the distance distribution functions are proposed. These functions are essential in defining p...
متن کاملExpansion semigroups in probabilistic metric spaces
We present some new results on the existence and the approximationof common fixed point of expansive mappings and semigroups in probabilisticmetric spaces.
متن کاملexpansion semigroups in probabilistic metric spaces
we present some new results on the existence and the approximationof common fixed point of expansive mappings and semigroups in probabilisticmetric spaces.
متن کاملStrong $I^K$-Convergence in Probabilistic Metric Spaces
In this paper we introduce strong $I^K$-convergence of functions which is common generalization of strong $I^*$-convergence of functions in probabilistic metric spaces. We also define and study strong $I^{K}$-limit points of functions in same space.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2011
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2011.02.005